Merge branch 'master' into 'master'
authorChristoph Reiter <reiter.christoph@gmail.com>
Sun, 18 Feb 2018 10:48:23 +0000 (10:48 +0000)
committerChristoph Reiter <reiter.christoph@gmail.com>
Sun, 18 Feb 2018 10:48:23 +0000 (10:48 +0000)
commitfef3dfc43e65dbb0e8a7e5d069f61f6022fc699d
tree18a6d9c5c135877d1894bdd4d9b28f6ce74a470d
parent909fdc99adcbe22d6cbb6ca3f367aad4bfb50515
parentc5bece5cef4b1a6c4569e6131747ce70925cb469
Merge branch 'master' into 'master'

Fix annotation for gtk_tree_view_is_blank_at_pos()

See merge request GNOME/gtk!13